Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

add github actions #96

Merged
merged 1 commit into from
Jul 29, 2024
Merged

add github actions #96

merged 1 commit into from
Jul 29, 2024

Conversation

neekolas
Copy link
Contributor

@neekolas neekolas commented Jul 28, 2024

tl;dr

  • Adds Github actions
  • Adds shellcheck script
  • Updates vscode config to use the correct lint tool

Copy link
Contributor Author

neekolas commented Jul 28, 2024

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @neekolas and the rest of your teammates on Graphite Graphite

@neekolas neekolas mentioned this pull request Jul 28, 2024
@neekolas neekolas marked this pull request as ready for review July 28, 2024 04:07
@neekolas neekolas mentioned this pull request Jul 28, 2024
@neekolas neekolas force-pushed the 07-27-bootstrap_service branch from 8724793 to 076aca2 Compare July 29, 2024 19:31
@neekolas neekolas force-pushed the 07-27-add_github_actions branch from 1299717 to 4dc779a Compare July 29, 2024 19:31
Copy link
Contributor Author

neekolas commented Jul 29, 2024

Merge activity

  • Jul 29, 12:34 PM PDT: @neekolas started a stack merge that includes this pull request via Graphite.
  • Jul 29, 12:35 PM PDT: Graphite rebased this pull request as part of a merge.
  • Jul 29, 12:35 PM PDT: @neekolas merged this pull request with Graphite.

Base automatically changed from 07-27-bootstrap_service to main July 29, 2024 19:34
@neekolas neekolas force-pushed the 07-27-add_github_actions branch from 4dc779a to b53a906 Compare July 29, 2024 19:34
@neekolas neekolas merged commit f1c599e into main Jul 29, 2024
2 of 3 checks passed
@neekolas neekolas deleted the 07-27-add_github_actions branch July 29, 2024 19:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants